#include "../threads/InitializationManager.cc"

int
main()
{
	Write("Starting test of Lab 1 Part 2\n", 32, ConsoleOutput);
	
	InitializeTheaterSimulation();
	/*
	Fork(thread1);
	Acquire(lockMain);
	Fork(thread2);
	Wait(conditionMain, lockMain);

	Fork(thread3);
	Release(lockMain);
	*/
    /*Halt();*/
	return 0;
    /* not reached */
}